type Foo = Bar[0];
type Foo = Bar[-1];
type Foo = Bar[0xab];
type Foo = Bar[5.6e1];
type Foo = Bar[10n];
type Foo = Bar[1 | -2];
type Foo = Bar[1 & -2];
type Foo = Bar[1 & number];
type Foo = Bar[((1 & -2) | 3) | 4];
type Foo = Parameters<Bar>[2];
type Foo = Bar['baz'];
type Baz = Parameters<Foo>[2];
type Others = [['a'], ['b']];
type Foo = {
  [K in keyof Others[0]]: Others[K];
};